Optimizing garbage collection vehicle routing problem with alternative fuel-powered vehicles

Abstract

This paper considers the garbage collection problem in which vehicles with multiple compartments are used to collect the garbage. The vehicles are considered to be Alternative Fuel-powered Vehicles (AFVs). Compared with the traditional fossil fuel powered vehicles, the AFVs have limited fuel tank capacity. In addition, AFVs are allowed to refuel only at the depot. We provide a mathematical formulation and develop two solution approaches to solve the problem. The first approach is based on the saving algorithm, while the second is based on the ant colony system (ACS) metaheuristic. New problem instances have been generated to evaluate the performance of the proposed algorithms.     

椭圆PDE-约束优化问题的一个预条件子

针对由Galerkin有限元离散椭圆PDE-约束优化问题产生的具有特殊结构的3×3块线性鞍点系统,提出了一个预条件子并给出了预处理矩阵特征值及特征向量的具体表达形式.数值结果表明了该预条件子能够有效地加速Krylov子空间方法的收敛速率,同时也验证了理论结果.     

一种新的求非线性方程组的数值延拓法

针对迭代过程中的Jacobi奇异问题,本文提出了一种新的数值延拓法.通过构造双参数同伦算子,采用可控条件和适当选取参数的方式克服Jacobi奇异性,并分析了方法的收敛性.最后,通过数值实验对比,验证了方法的可行性和优越性.特别是具有可调控越过Jacobi奇异(点、线、面)的优势,从而也在某种程度上解决了数值延拓法严重依赖于初值的问题.     

Optimality conditions and duality results for nonsmooth vector optimization problems with the multiple interval-valued objective function

In this paper, both Fritz John and Karush-Kuhn-Tucker necessary optimality conditions are established for a (weakly) LU-efficient solution in the considered nonsmooth multiobjective programming problem with the multiple interval-objective function. Further, the sufficient optimality conditions for a (weakly) LU-efficient solution and several duality results in Mond-Weir sense are proved under assumptions that the functions constituting the considered nondifferentiable multiobjective programming problem with the multiple interval-objective function are convex.     

Contraction of the proximal mapping and applications to the equilibrium problem

In this paper, we introduce a new definition of Lipschitz-type continuity of a bifunction. Using this definition, we prove the contraction of the proximal mapping and apply it to the equilibrium problem over the fixed-point set of a nonexpansive mapping. We present a new algorithm for this problem. Under classical conditions, the convergence of the algorithm is proved. Finally, we present some numerical results for the proposed algorithm.     

On the complexity of the word problem for automaton semigroups and automaton groups

In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSpace-complete word problem. We also show that there is an automaton group for which the word problem with a single rational constraint is PSpace-complete. Additionally, we provide simpler constructions for the uniform word problems of these classes. For the uniform word problem for automaton groups (without rational constraints), we show NL-hardness. Finally, we investigate a question asked by Cain about a better upper bound for the length of a word on which two distinct elements of an automaton semigroup must act differently.A detailed listing of the contributions of this paper can be found at the end of this paper.     

CR Geometry in 3-D

CR geometry studies the boundary of pseudo-convex manifolds.By concentrating on a choice of a contact form,the local geometry bears strong resemblence to conformal geometry.This paper deals with the role conformally invariant operators such as the Paneitz operator plays in the CR geometry in dimension three.While the sign of this operator is important in the embedding problem,the kernel of this operator is also closely connected with the stability of CR structures.The positivity of the CR-mass under the natural sign conditions of the Paneitz operator and the CR Yamabe operator is discussed.The CR positive mass theorem has a consequence for the existence of minimizer of the CR Yamabe problem.The pseudo-Einstein condition studied by Lee has a natural analogue in this dimension,and it is closely connected with the pluriharmonic functions.The author discusses the introduction of new conformally covariant operator P-prime and its associated Q-prime curvature and gives another natural way to find a canonical contact form among the class of pseudo-Einstein contact forms.Finally,an isoperimetric constant determined by the Q-prime curvature integral is discussed.     

分布式通信响应优化问题及其内点法求解

为了优化移动互联网的分布式通信系统的响应速度,建立分布式通信系统响应速度最优化问题的数学模型,并设计和改进求解该最优化问题的内点法.针对该最优化问题发展一套高效率预条件方法来帮助求解内点法,不但改善计算方法的数值稳定性,而且提高算法的计算效率.通过数值实验验证该预条件对算法稳定性和效率的提高.     

On the mixed problem for the semilinear Darcy‐Forchheimer‐Brinkman PDE system in Besov spaces on creased Lipschitz domains

The purpose of this paper is to study the mixed Dirichlet‐Neumann boundary value problem for the semilinear Darcy‐Forchheimer‐Brinkman system in L _p ‐based Besov spaces on a bounded Lipschitz domain in ${\mathbb{R}}^3$, with p in a neighborhood of 2. This system is obtained by adding the semilinear term | u | u to the linear Brinkman equation. First, we provide some results about equivalence between the Gagliardo and nontangential traces, as well as between the weak canonical conormal derivatives and the nontangential conormal derivatives. Various mapping and invertibility properties of some integral operators of potential theory for the linear Brinkman system, and well‐posedness results for the Dirichlet and Neumann problems in L _p ‐based Besov spaces on bounded Lipschitz domains in ${\mathbb{R}}^n$(n ≥3) are also presented. Then, using integral potential operators, we show the well‐posedness in L ₂‐based Sobolev spaces for the mixed problem of Dirichlet‐Neumann type for the linear Brinkman system on a bounded Lipschitz domain in ${\mathbb{R}}^n$(n ≥3). Further, by using some stability results of Fredholm and invertibility properties and exploring invertibility of the associated Neumann‐to‐Dirichlet operator, we extend the well‐posedness property to some L _p ‐based Sobolev spaces. Next, we use the well‐posedness result in the linear case combined with a fixed point theorem to show the existence and uniqueness for a mixed boundary value problem of Dirichlet and Neumann type for the semilinear Darcy‐Forchheimer‐Brinkman system in L _p ‐based Besov spaces, with p ∈(2?ε ,2+ε ) and some parameter ε >0.